由性质 1,

从而得证.